Tree model - PDFSEARCH.IO - Document Search Engine

Tree model
Results: 571

#	Item
311	Jure Piškur (1960 – 2014) Honorary Chairman and Inspirer of the ISSY31 Jure Piškur was born in Slovenia, in the ducal town of Celje. He studied biology and chemistry at the two different faculties at the University o Add to Reading List Source URL: www.issy31.com Language: English - Date: 2014-10-06 09:30:22 Yeasts Saccharomycetes Tree of life Fermentation Microbiology Model organism Brettanomyces Zymology Organism Biology Food and drink Oenology
312	Microsoft Word - Aushang_RAHiS_FS09_e.doc Add to Reading List Source URL: www.lsa.ethz.ch Language: English - Date: 2009-02-27 02:48:02 Ethics Risk analysis Social vulnerability Vulnerability Scientific modelling Economic model Reliability engineering Diagram Event tree Risk Management Systems engineering
313	Analytical Solutions of Large Fault Tree Models using BDD: New Techniques and Applications Olivier Nusbaumera, Wolfgang Krögerb, and Enrico Zioc a b Add to Reading List Source URL: nusbaumer.tripod.com Language: English* - Date: 2012-09-02 05:44:01 Binary decision diagram Model checking Theoretical computer science Zero-suppressed decision diagram Directed acyclic graph Static single assignment form Hypergraph Formal methods Boolean algebra Diagrams Mathematics
314	External Events Model Modifications Add to Reading List Source URL: nusbaumer.tripod.com Language: English - Date: 2012-09-02 05:45:21 Occupational safety and health Wildfires Nuclear energy in the United States Nuclear safety in the United States Wildfire suppression Fire Fault tree analysis Safety Nuclear safety Risk
315	Tree Genetics & Genomes DOI[removed]s11295[removed]ORIGINAL PAPER Evolution and divergence in the coding and promoter regions Add to Reading List Source URL: bioenergycenter.org Language: English - Date: 2011-09-19 16:21:50 Genomics Ridge Model organisms Homology Lactobacillus sakei Pseudogene Populus trichocarpa Biology Genetics Gene expression
316	Minimum Spanning Trees and Active Contours for Identification of the Pectoral Muscle in Screening Mammograms Add to Reading List Source URL: dspace.flinders.edu.au Language: English - Date: 2013-05-12 21:37:21 Image processing Spanning tree Segmentation Minimum spanning tree Active contour model Pectoralis major muscle Muscle Muscular system Anatomy Computer vision
317	Tree Physiology Advance Access published October 25, 2012 Tree Physiology 00, 1–8 doi:[removed]treephys/tps081 Add to Reading List Source URL: bioenergycenter.org Language: English - Date: 2012-11-21 13:00:35 Genomics Populus trichocarpa Populus Genome project Model organism Full genome sequencing Human genome Functional genomics Genome Biology Genetics Bioinformatics
318	ALGORITHMS FOR BOOLEAN FUNCTION QUERY PROPERTIES SCOTT AARONSON∗ Abstract. We investigate efficient algorithms for computing Boolean function properties relevant to query complexity. Such properties include, for exampl Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2006-11-24 03:47:48 Computational complexity theory Analysis of algorithms Boolean algebra Complexity classes Decision tree model Time complexity Circuit complexity Randomized algorithm Circuit Theoretical computer science Applied mathematics Mathematics
319	Lower Bounds for the Noisy Broadcast Problem Navin Goyal ∗ [removed] Dept. of Computer Science Rutgers University Add to Reading List Source URL: dimacs.rutgers.edu Language: English - Date: 2006-03-28 19:38:19 Computational complexity theory Communication Models of computation Asymptotic analysis Quantum information science Michael Saks Information theory Decision tree model Big O notation Theoretical computer science Applied mathematics Mathematics
320	Verifying Higher-order Programs with the Dijkstra Monad Nikhil Swamy1 Joel Weinberger2 Cole Schlesinger3 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-02-07 17:27:24 Semantics HTML Model theory Predicate logic Subroutines Typeof Foreach loop Tree traversal H1 Computing Software engineering Logic

UPDATE